/*
 * ABottomL.h
 *
 *  Created on: May 27, 2012
 *      Author: kobe
 */

#ifndef ABOTTOML_H_
#define ABOTTOML_H_

#include "Axiom.h"

class A_BottomL: public Axiom {
public:
	A_BottomL();
	virtual ~A_BottomL();
	bool test(Sequent);
	std::string toLatex();
	Context* searchOperatorInContext(Context*, ModalLogic);
};

#endif /* ABOTTOML_H_ */
